Information Systems / Distributed Computing / Temporal Databases / Relational Algebra / Relational Model / Boolean Satisfiability / Temporal Database / Data Format / Valid Time / Transaction Time / Boolean Satisfiability / Temporal Database / Data Format / Valid Time / Transaction Time
